@Article{SantiagoJúniorTaha:2016:TiPeFo,
               author = "Santiago J{\'u}nior, Valdivino Alexandre de and Tahar, 
                         Sofi{\`e}ne",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Time Performance Formal Evaluation of Complex Systems",
              journal = "Lecture Notes in Computer Science",
                 year = "2016",
               volume = "9526",
                pages = "162--177",
                 note = "{Setores de Atividade: Pesquisa e desenvolvimento 
                         cient{\'{\i}}fico.}",
             keywords = "Performance Evaluation, Probabilistic Model Checking, Formal 
                         Verification, Formal Methods.",
                 issn = "0302-9743",
                label = "lattes: 5039690360728170 1 SantiagoJ{\'u}niorTaha:2016:TiPeFo",
             language = "en",
           targetfile = "santiago_time.pdf",
        urlaccessdate = "02 maio 2024"
}